관계 분리 논리

관계 분리 논리(relational separation logic)은 두개 프로그램 사이의 관계에 대해 논증할 수 있는 분리 논리의 변형이다.